»WDR RadioRecorder: Radio als MP3 auf die Platte«, via @ifun — https://www.ifun.de/wdr-radiorecorder-radio-als-mp3-auf-die-platte-4541/